Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
361	Peering The Semantics of “Semantics” Charles Petrie • Stanford University O Add to Reading List Source URL: www-cdr.stanford.edu Language: English - Date: 2009-08-10 14:52:43 Knowledge Semantic Web Technical communication Logic in computer science Knowledge engineering Ontology Semantics Description logic Formal semantics Science Information science Information
362	Learning with Compositional Semantics as Structural Inference for Subsentential Sentiment Analysis Yejin Choi and Claire Cardie Department of Computer Science Cornell University Ithaca, NY 14853 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2008-10-28 17:20:32 Computational linguistics Grammar Natural language processing Semantics Formal languages Polarity item Sentiment analysis Heuristic English language Languages of Africa Languages of Oceania Culture
363	Using Semantic Unification to Generate Regular Expressions from Natural Language Nate Kushman Regina Barzilay Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {nkushman, regin Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-04-19 15:34:32 Formal languages Theoretical computer science Computational linguistics Lexical semantics Lambda calculus Parsing Semantics Word-sense disambiguation Natural language processing Linguistics Science Applied mathematics
364	Exploring Methods for Improving the Integration of LOINC in the UMLS Holli Huffa, Olivier Bodenreider, MD PhDb a b Add to Reading List Source URL: mor.nlm.nih.gov Language: English - Date: 2011-02-09 16:09:54 Formal languages Medicine Nursing informatics Medical informatics LOINC Unified Medical Language System Generative Formal grammar Semantics Medical classification Health informatics Health
365	Lattice-Theoretic Auditing of Ontologies Add to Reading List Source URL: mor.nlm.nih.gov Language: English - Date: 2011-02-09 16:09:55 Philosophy Lattice theory Ontology Semantic Web Formal concept analysis Intension Extension Finitary relation Property Science Semantics Logic
366	Denotational Semantics of the XML-λ Query Denotational Semantics of ?the XML-λ Query Language ? Language Pavel Loupal1 and Karel Richta2 Pavel Loupal1 and Karel Richta2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-03 05:17:25 Formal languages Models of computation Model theory Combinatorics on words Denotational semantics Lambda calculus String Structure Symbol Computing Mathematics Theoretical computer science
367	Denotational Semantics of XML-Lambda Pavel Loupal1 and Karel Richta2 1 Department of Software Engineering, Czech Technical University, Faculty of Information Technology Prague, Czech Republic Add to Reading List Source URL: www.ksi.mff.cuni.cz Language: English - Date: 2010-07-05 10:29:45 Models of computation Lambda calculus Formal languages Model theory Programming language semantics Denotational semantics Structure String Symbol Theoretical computer science Mathematics Mathematical logic
368	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-04-15 07:03:50 Model theory Stable model semantics Philosophical logic Answer set programming Modal logic Type Formal methods Logic Logic programming Mathematical logic
369	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2011-07-05 03:47:02 Science Formal languages Model theory Semantics Stable model semantics Theoretical computer science Answer set programming Interpretation Argumentation theory Logic Mathematics Logic programming
370	INTERNATIONAL TELECOMMUNICATION UNION ITU-T TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Add to Reading List Source URL: www.itu.int Language: English - Date: 2001-09-13 08:35:12 Mathematics Models of computation Logic in computer science Logical syntax Metalogic Specification and Description Language Abstract state machines Denotational semantics Operational semantics Logic Theoretical computer science Formal languages

UPDATE